(0 20 13)(1 8 6)(2 19 16)(3 10 5)(4 17 14)(7 11 9)(12 18 15)
ALLOWS (11/8)-SEQUENCE
1: (13 17 20)

(0 20 14 4 17)(1 8 6)(2 19 16)(3 10 5)(7 11 9)(12 18 15)(13)
2: (12 18 15)

(0 20 14 4 17)(1 8 6)(2 19 16)(3 10 5)(7 11 9)(12)(13)(15)(18)
3: (2 19 16)

(0 20 14 4 17)(1 8 6)(2)(3 10 5)(7 11 9)(12)(13)(15)(16)(18)(19)
4: (4 20 14)

(0 20 17)(1 8 6)(2)(3 10 5)(4)(7 11 9)(12)(13)(14)(15)(16)(18)(19)